302401d10b3d0b3b43c255b7d0a79b2bcfdd20fe,src/visualizer/src/main/java/VizPanel.java,VizPanel,drawEdges,#GUINode#AbstractVertex#,175

Before Change


		while (it.hasNext())
		{
			AbstractVertex child = it.next();
			if(v.isExpanded()){
				drawEdges(node, child);
			}
		}

After Change


		}
		
		GUINode node = v.getGraphics();
		if(v.isExpanded())
		{
			//Edge.arrowLength = this.getWidthPerVertex() / 10.0;
			for(Edge e : v.getInnerGraph().getEdges().values())